Bart Jacobs: in Z-Library suchen

Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Ihr Zugang zu Kenntnissen und Kultur.

Spende 15. September, 2024 – 1. Oktober, 2024

Z-Library ist eine der größten Online-Bibliotheken in der Welt, die mehr als 17,000,000 Bücher und 84,837,000 Artikel erhält. Wir wollen die Literatur für alle zugänglich machen. Heute (15. September, 2024) starten wir eine zusätzliche Spendenaktion für die Unterstützung und Entwicklung der Projekts.

Auch UNBEGRENZTE Downloads (für 31 Tage nach dem Tag der Spende) sind verfügbar für ALLE Benutzer, die während der Spendenaktion bis 1. Oktober, 2024 spenden werden.

Über SpendenWeitere Informationen erhalten

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (30)
Meistgefragt
Liste
- Liste
- Tabelle

1

Christianity in Late Antiquity, 300-450 C.E.: A Reader

Christianity in Late Antiquity, 300-450 C.E.: A Reader

Oxford University Press

Bart D. Ehrman, Andrew S. Jacobs

Jahr:

2004

Sprache:

english

Datei:

PDF, 5.05 MB

0 / 0

english, 2004

2

Categorical Logic and Type Theory

Categorical Logic and Type Theory

Jahr:

1999

Sprache:

english

Datei:

PDF, 27.06 MB

0 / 0

english, 1999

3

Mastering MVVM With Swift: Updated for Xcode 9 and Swift 4

Mastering MVVM With Swift: Updated for Xcode 9 and Swift 4

Jacobs, Bart [Jacobs, Bart]

Jahr:

2017

Sprache:

english

Datei:

EPUB, 7.14 MB

0 / 0

english, 2017

4

Mastering Core Data With Swift: Update for Xcode 9 and Swift 4

Mastering Core Data With Swift: Update for Xcode 9 and Swift 4

Bart Jacobs [Jacobs, Bart]

Jahr:

2017

Sprache:

english

Datei:

EPUB, 5.63 MB

0 / 0

english, 2017

5

Categorical Logic and Type Theory

Categorical Logic and Type Theory

Jahr:

2005

Sprache:

english

Datei:

PDF, 28.63 MB

0 / 0

english, 2005

6

The Missing Manual for Swift Development

The Missing Manual for Swift Development

Jacobs, Bart [Jacobs, Bart]

Jahr:

2017

Sprache:

english

Datei:

EPUB, 3.09 MB

0 / 0

english, 2017

7

Introduction to Coalgebra: Towards Mathematics of States and Observation

Introduction to Coalgebra: Towards Mathematics of States and Observation

Cambridge University Press

Jahr:

2016

Sprache:

english

Datei:

PDF, 2.63 MB

0 / 0

english, 2016

8

Categorical Logic and Type Theory

Categorical Logic and Type Theory

Jahr:

1999

Sprache:

english

Datei:

DJVU, 4.63 MB

0 / 0

english, 1999

9

Christianity in Late Antiquity – 300-450 C.E.: A Reader

Christianity in Late Antiquity – 300-450 C.E.: A Reader

Oxford University Press

Bart D. Ehrman, Andrew S. Jacobs

Jahr:

2004

Sprache:

english

Datei:

DJVU, 14.58 MB

0 / 0

english, 2004

10

Origins of a Creole: The History of Papiamentu and Its African Ties

Origins of a Creole: The History of Papiamentu and Its African Ties

De Gruyter Mouton

Jahr:

2012

Sprache:

english

Datei:

PDF, 1.99 MB

0 / 4.5

english, 2012

11

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding

Springer-Verlag Berlin Heidelberg

Bart Jacobs, Christof Löding (eds.)

Jahr:

2016

Sprache:

english

Datei:

PDF, 12.37 MB

0 / 0

english, 2016

12

Learn the Four Swift Patterns I Swear By

Learn the Four Swift Patterns I Swear By

Jahr:

2017

Sprache:

english

Datei:

PDF, 2.06 MB

0 / 5.0

english, 2017

13

Introduction to Coalgebra: Towards Mathematics of States and Observation

Introduction to Coalgebra: Towards Mathematics of States and Observation

Cambridge University Press

Jahr:

2016

Sprache:

english

Datei:

PDF, 2.23 MB

0 / 0

english, 2016

14

Categorical logic and type theory

Categorical logic and type theory

Elsevier,North-Holland

Jahr:

1999

Sprache:

english

Datei:

DJVU, 7.54 MB

0 / 0

english, 1999

15

Policies and Research in Identity Management: Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

Policies and Research in Identity Management: Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Gergely Alpár, Bart Jacobs (auth.), Simone Fischer-Hübner, Elisabeth de Leeuw, Chris Mitchell (eds.)

Jahr:

2013

Sprache:

english

Datei:

PDF, 4.68 MB

0 / 0

english, 2013

16

Categorical Logic and Type Theory

Categorical Logic and Type Theory

Jahr:

1998

Sprache:

english

Datei:

DJVU, 21.54 MB

0 / 0

english, 1998

17

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

Jahr:

2000

Sprache:

english

Datei:

PDF, 3.26 MB

0 / 0

english, 2000

18

Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Bart Jacobs (auth.), Cristian S. Calude, Vladimiro Sassone (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 7.01 MB

0 / 0

english, 2010

19

Foundations of Software Science and Computation Structures, 19 conf., FOSSACS 2016

Foundations of Software Science and Computation Structures, 19 conf., FOSSACS 2016

Bart Jacobs, Christof Löding

Jahr:

2016

Sprache:

english

Datei:

PDF, 6.74 MB

0 / 0

english, 2016

20

Introduction to Coalgebra. Towards Mathematics of States and Observations [draft]

Introduction to Coalgebra. Towards Mathematics of States and Observations [draft]

Jahr:

2012

Sprache:

english

Datei:

PDF, 2.63 MB

0 / 0

english, 2012

21

Middle High German Legends in English Translation

Middle High German Legends in English Translation

Leiden University Press

Jef Jacobs, Kenny Louwen, Bart Veldhoen, Barend Verkerk

Jahr:

2022

Sprache:

english

Datei:

PDF, 16.46 MB

0 / 0

english, 2022

22

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

Jahr:

2000

Sprache:

english

Datei:

PDF, 4.34 MB

0 / 0

english, 2000

23

Decoding the iOS 6 SDK

Decoding the iOS 6 SDK

Hammonds, Mark, Jacobs, Bart, Khan, Akiel, Crabtree, Aaron

Jahr:

2013

Sprache:

english

Datei:

EPUB, 10.71 MB

0 / 0

english, 2013

24

Introduction to Grid Computing

Introduction to Grid Computing

Jahr:

2005

Sprache:

english

Datei:

PDF, 3.31 MB

0 / 0

english, 2005

25

Origins of a Creole: The History of Papiamentu and Its African Ties

Origins of a Creole: The History of Papiamentu and Its African Ties

De Gruyter Mouton

Jahr:

2012

Sprache:

english

Datei:

PDF, 2.05 MB

0 / 0

english, 2012

26

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Bart Jacobs (auth.), Richard J. Boulton, Paul B. Jackson (eds.)

Jahr:

2001

Sprache:

english

Datei:

PDF, 2.54 MB

0 / 0

english, 2001

27

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

Matthew Dwyer (auth.), Bart Jacobs, Arend Rensink (eds.)

Jahr:

2002

Sprache:

english

Datei:

PDF, 12.45 MB

0 / 0

english, 2002

28

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Bart Jacobs (auth.), Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

Jahr:

2003

Sprache:

english

Datei:

PDF, 3.47 MB

0 / 0

english, 2003

29

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Bart Jacobs (auth.), Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

Jahr:

2003

Sprache:

english

Datei:

PDF, 4.29 MB

0 / 0

english, 2003

30

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Bart Jacobs (auth.), Richard J. Boulton, Paul B. Jackson (eds.)

Jahr:

2001

Sprache:

english

Datei:

PDF, 3.66 MB

0 / 0

english, 2001